Gå till sökfältet
Gå till sidans huvudinnehåll
Gå till tillgänglighetsredogörelsen
Forskning.fi
Menu
Suomeksi
På svenska
In English
Ingångssida
Sökning
Vetenskaps- och innovationspolitik
Vetenskaps- och forskningsnyheter
Min profil
På svenska
- 18069 results
Publikationer
18069
Utlysningar
0
Beviljade finansiering
1
Personer
0
Data
0
Infrastrukturer
0
Organisationer
0
Projekt
0
Publikationer -
18 069
sökresultat
Gå till sökresultaten
Visa som bild
Begränsa sökning
Resultaten visas 1 - 10 / 18069
10
50
100
resultat / per sida
Vilka
publikations
uppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År
Simple is Better: Efficient Bounded
Model
Checking
for Past LTL
Referentgranskad
Latvala, Timo; Biere, Armin; Heljanko, Keijo; Junttila, Tommi
SPRINGER
2005
Implementing LTL
Model
Checking
with Net Unfoldings
Referentgranskad
Esparza, Javier; Heljanko, Keijo
SPRINGER
2001
Checking
Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing
Referentgranskad
Dubrovin, Jori
SPRINGER
2010
Simple Bounded LTL
Model
Checking
Referentgranskad
Latvala, Timo; Biere, Armin; Heljanko, Keijo; Junttila, Tommi
SPRINGER
2004
Simple bounded LTL
model
checking
Latvala, Timo; Biere, Armin; Heljanko, Keijo; Junttila, Tommi
-
2004
Model
Checking
Embedded Control Software
Frits, Juho
-
2010
Model
checking
PSL safety properties
Launiainen, Tuomas
-
2009
Fair testing and stubborn sets
Referentgranskad
Öppen tillgång
DOI
10.1007/978-3-319-32582-8_16
Valmari, Antti;Vogler, Walter
Lecture Notes in Computer Science
2016
Efficient
Model
Checking
of Safety Properties
Referentgranskad
Latvala, Timo
SPRINGER
2003
Hardware
Model
Checking
Competition 2017
DOI
10.23919/FMCAD.2017.8102233
Biere, Armin; van Dijk, Tom; Heljanko, Keijo
INTERNATIONAL CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN
2017
Simple is Better: Efficient Bounded
Model
Checking
for Past LTL
Referentgranskad
2005
Implementing LTL
Model
Checking
with Net Unfoldings
Referentgranskad
2001
Checking
Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing
Referentgranskad
2010
Simple Bounded LTL
Model
Checking
Referentgranskad
2004
Simple bounded LTL
model
checking
2004
Model
Checking
Embedded Control Software
2010
Model
checking
PSL safety properties
2009
Fair testing and stubborn sets
Referentgranskad
Öppen tillgång
DOI
10.1007/978-3-319-32582-8_16
2016
Efficient
Model
Checking
of Safety Properties
Referentgranskad
2003
Hardware
Model
Checking
Competition 2017
DOI
10.23919/FMCAD.2017.8102233
2017
Föregående
1
2
3
4
5
Nästa
Resultaten visas 1 - 10 / 18069
Sida 1
Sort
